]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cac7b2) | patch
layout: Make the hot corner optional
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 8 Jun 2017 15:07:56 +0000 (17:07 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 10 Jul 2019 15:29:24 +0000 (17:29 +0200)
commitdbb71f0dfcb9a92e3988b98aea5bf106edd61bec
tree903368e5f24684fdd321f5a953b207f1b5cb8566tree | snapshot
parent1cac7b2218c35e13e5aae4de31cb1afcd9906f95commit | diff
layout: Make the hot corner optional

Whether people love or hate the hot corner depends in large extents
on hardware sensitivity and habits, which is hard to get right
universally. So bite the bullet and support an option to enable or
disable hot corners ...

https://bugzilla.gnome.org/show_bug.cgi?id=688320
js/ui/layout.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.